Universal Systems Language ( USL ) es un lenguaje de modelado y método formal para la especificación y diseño de software y otros sistemas complejos. Fue diseñado por Margaret Hamilton basado en sus experiencias escribiendo software de vuelo para el programa Apolo.[1] El lenguaje es implementado a través del software 001 Tool Suite por Hamilton Technologies, Inc.[2] USL evolucionó de 001AXES, que a su vez evolucionó de AXES, todos los cuales se basan en los axiomas de control de Hamilton. El software 001 Tool Suite utiliza el concepto preventivo de "Development Before The Fact" (DBTF Desarrollo antes del hecho) para su proceso de desarrollo del ciclo de vida. DBTF elimina los errores lo antes posible durante el proceso de desarrollo, eliminando la necesidad de buscar errores después del hecho.
- ↑ M. Hamilton and W. R. Hackler, "Universal Systems Language: Lessons Learned from Apollo", IEEE Computer, Dec. 2008.
- ↑ 001 Tool Suite (1986-2016)